|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
|
|
The Doctrine of Creation and Theology of the Neglected World: A Conversation with O. Clément, R. Rohr, N. T. Wright and the Pope Francis
Paluchníková, Štěpánka ; Noble, Ivana (advisor) ; Kočandrle Bauer, Kateřina (referee)
This diploma thesis entitled The Doctrine of Creation and Theology of the Neglected World: A Conversation with O. Clément, R. Rohr, N. T. Wright and the Pope Francis aims to interpret the doctrine of creation and theology of the world as helping to rediscover the significance of today's neglected world as an inhabited and habitable place created by a good Creator who gave the world its eschatological orientation, which is renewed through Christ and in the Spirit. In this study I have a conversation with French Orthodox theologian Olivier Clément, the American Franciscan Richard Rohr, the British Anglican theologian and Bishop N. T. Wright and the Latin American Pope Francis. Each of them helps me, in a specific way, to understand in what sense the neglected world, together with man, can and does undergo transformations so that 'the world for death becomes the world for glory.' This perspective of creation which is eucharistic, universal, continuous and good shows how to achieve this goal.
|
|
|
Quantum turbulence in superfluid helium studied by particle tracking velocimetry visualization technique
Duda, Daniel ; Skrbek, Ladislav (advisor) ; Chára, Zdeněk (referee) ; Skyba, Peter (referee)
❚✐t❧❡✿ ◗✉❛♥t✉♠ t✉r❜✉❧❡♥❝❡ ✐♥ s✉♣❡r✢✉✐❞ ❤❡❧✐✉♠ st✉❞✐❡❞ ❜② ♣❛rt✐❝❧❡ tr❛❝❦✐♥❣ ✈❡❧♦❝✐♠❡tr② ✈✐s✉❛❧✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ❆✉t❤♦r✿ ❘◆❉r✳ ❉❛♥✐❡❧ ❉✉❞❛ ❉❡♣❛rt♠❡♥t✿ ❉❡♣❛rt♠❡♥t ♦❢ ▲♦✇ ❚❡♠♣❡r❛t✉r❡ P❤②s✐❝s ❙✉♣❡r✈✐s♦r✿ ♣r♦❢✳ ❘◆❉r✳ ▲❛❞✐s❧❛✈ ❙❦r❜❡❦✱ ❉r❙❝✳ ❆❜str❛❝t✿ ❚❤❡ P❛rt✐❝❧❡ ❚r❛❝❦✐♥❣ ❱❡❧♦❝✐♠❡tr② ✈✐s✉❛❧✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ✉s✐♥❣ ♠✐❝✲ r♦♠❡t❡r s✐③❡ s♦❧✐❞ ❞❡✉t❡r✐✉♠ ♣❛rt✐❝❧❡s ❛s tr❛❝❡rs ❤❛s ❜❡❡♥ ❛♣♣❧✐❡❞ t♦ st✉❞② ♦s❝✐❧✲ ❧❛t♦r② ✢♦✇s ♦❢ ❍❡ ■■✱ ✇❤✐❝❤ ✐s ❛ q✉❛♥t✉♠ ✢✉✐❞ ✇✐t❤ q✉❛♥t✐③❡❞ ✈♦rt✐❝✐t②✱ ❛s ✇❡❧❧ ❛s ✢♦✇s ♦❢ ❍❡ ■✱ ✇❤✐❝❤ ✐s ❛ ❝❧❛ss✐❝❛❧ ✈✐s❝♦✉s ❧✐q✉✐❞✱ ❢♦❝✉s✐♥❣ ♦♥ t❤❡ s✐♠✐❧❛r✐t✐❡s ❛♥❞ ❞✐✛❡r❡♥❝❡s ❜❡t✇❡❡♥ t❤❡ q✉❛♥t✉♠ ❛♥❞ ❝❧❛ss✐❝❛❧ ✢♦✇s✳ ❚❤r❡❡ ❡①♣❡r✐♠❡♥ts ❛r❡ ❞❡s❝r✐❜❡❞✿ t❤❡ ✢♦✇ ♣❛st ❛ ❧❛r❣❡✲❛♠♣❧✐t✉❞❡ ❧♦✇✲❢r❡q✉❡♥❝② ♦s❝✐❧❧❛t✐♥❣ ♦❜st❛❝❧❡ ✐♥ t❤❡ ❢♦r♠ ♦❢ ❛ ♣r✐s♠❀ t❤❡ st❡❛❞② str❡❛♠✐♥❣ ✢♦✇ ❞✉❡ t♦ ❛ s♠❛❧❧✲❛♠♣❧✐t✉❞❡ ❧❛r❣❡✲ ❢r❡q✉❡♥❝② ♦s❝✐❧❧❛t✐♥❣ q✉❛rt③ t✉♥✐♥❣ ❢♦r❦ ✲ ❛ ✇✐❞❡❧② ✉s❡❞ t♦♦❧ t♦ st✉❞② q✉❛♥t✉♠ t✉r❜✉❧❡♥❝❡❀ ❛♥❞ t❤❡ ♣r♦❞✉❝t✐♦♥ ♦❢ ❝❛✈✐t❛t✐♦♥ ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢ ❛ ❢❛st✲♦s❝✐❧❧❛t✐♥❣ t✉♥✐♥❣ ❢♦r❦✳ ❚❤❡ ♠❛✐♥ ♦✉t❝♦♠❡ ✐s t❤❡ ♦❜s❡r✈❛t✐♦♥ t❤❛t t❤❡s❡ ✢♦✇s ❛r❡ s✐♠✐❧❛r ✐♥ ❍❡ ■ ❛♥❞ ✐♥ ❍❡ ■■ ❛t ❧❛r❣❡ ❧❡♥❣t❤✲s❝❛❧❡s✱ ✇❤❡r❡❛s ❛t s♠❛❧❧ s❝❛❧❡s✱ t❤❡② ❡①❤✐❜✐t t♦t❛❧❧② ❞✐✛❡r❡♥t st❛t✐st✐❝❛❧ ♣r♦♣❡rt✐❡s✳ ▼♦r❡♦✈❡r✱ ✐♥ ❍❡ ■■✱ t❤❡s❡ s♠❛❧❧ s❝❛❧❡ st❛✲ t✐st✐❝❛❧ ♣r♦♣❡rt✐❡s ❛r❡ ✉♥✐✈❡rs❛❧ ✐♥ t❤❛t t❤❡② ❞♦ ♥♦t ❞❡♣❡♥❞ ♦♥ t❤❡ t②♣❡ ♦❢ t❤❡ ✐♠♣♦s❡❞ ♠❡❛♥ ✢♦✇ ♦❢ t❤❡ s✉♣❡r✢✉✐❞ ❛♥❞ ♥♦r♠❛❧...
|
|
|
Quantum turbulence in superfluid helium studied by particle tracking velocimetry visualization technique
Duda, Daniel ; Skrbek, Ladislav (advisor) ; Chára, Zdeněk (referee) ; Skyba, Peter (referee)
❚✐t❧❡✿ ◗✉❛♥t✉♠ t✉r❜✉❧❡♥❝❡ ✐♥ s✉♣❡r✢✉✐❞ ❤❡❧✐✉♠ st✉❞✐❡❞ ❜② ♣❛rt✐❝❧❡ tr❛❝❦✐♥❣ ✈❡❧♦❝✐♠❡tr② ✈✐s✉❛❧✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ❆✉t❤♦r✿ ❘◆❉r✳ ❉❛♥✐❡❧ ❉✉❞❛ ❉❡♣❛rt♠❡♥t✿ ❉❡♣❛rt♠❡♥t ♦❢ ▲♦✇ ❚❡♠♣❡r❛t✉r❡ P❤②s✐❝s ❙✉♣❡r✈✐s♦r✿ ♣r♦❢✳ ❘◆❉r✳ ▲❛❞✐s❧❛✈ ❙❦r❜❡❦✱ ❉r❙❝✳ ❆❜str❛❝t✿ ❚❤❡ P❛rt✐❝❧❡ ❚r❛❝❦✐♥❣ ❱❡❧♦❝✐♠❡tr② ✈✐s✉❛❧✐③❛t✐♦♥ t❡❝❤♥✐q✉❡ ✉s✐♥❣ ♠✐❝✲ r♦♠❡t❡r s✐③❡ s♦❧✐❞ ❞❡✉t❡r✐✉♠ ♣❛rt✐❝❧❡s ❛s tr❛❝❡rs ❤❛s ❜❡❡♥ ❛♣♣❧✐❡❞ t♦ st✉❞② ♦s❝✐❧✲ ❧❛t♦r② ✢♦✇s ♦❢ ❍❡ ■■✱ ✇❤✐❝❤ ✐s ❛ q✉❛♥t✉♠ ✢✉✐❞ ✇✐t❤ q✉❛♥t✐③❡❞ ✈♦rt✐❝✐t②✱ ❛s ✇❡❧❧ ❛s ✢♦✇s ♦❢ ❍❡ ■✱ ✇❤✐❝❤ ✐s ❛ ❝❧❛ss✐❝❛❧ ✈✐s❝♦✉s ❧✐q✉✐❞✱ ❢♦❝✉s✐♥❣ ♦♥ t❤❡ s✐♠✐❧❛r✐t✐❡s ❛♥❞ ❞✐✛❡r❡♥❝❡s ❜❡t✇❡❡♥ t❤❡ q✉❛♥t✉♠ ❛♥❞ ❝❧❛ss✐❝❛❧ ✢♦✇s✳ ❚❤r❡❡ ❡①♣❡r✐♠❡♥ts ❛r❡ ❞❡s❝r✐❜❡❞✿ t❤❡ ✢♦✇ ♣❛st ❛ ❧❛r❣❡✲❛♠♣❧✐t✉❞❡ ❧♦✇✲❢r❡q✉❡♥❝② ♦s❝✐❧❧❛t✐♥❣ ♦❜st❛❝❧❡ ✐♥ t❤❡ ❢♦r♠ ♦❢ ❛ ♣r✐s♠❀ t❤❡ st❡❛❞② str❡❛♠✐♥❣ ✢♦✇ ❞✉❡ t♦ ❛ s♠❛❧❧✲❛♠♣❧✐t✉❞❡ ❧❛r❣❡✲ ❢r❡q✉❡♥❝② ♦s❝✐❧❧❛t✐♥❣ q✉❛rt③ t✉♥✐♥❣ ❢♦r❦ ✲ ❛ ✇✐❞❡❧② ✉s❡❞ t♦♦❧ t♦ st✉❞② q✉❛♥t✉♠ t✉r❜✉❧❡♥❝❡❀ ❛♥❞ t❤❡ ♣r♦❞✉❝t✐♦♥ ♦❢ ❝❛✈✐t❛t✐♦♥ ✐♥ t❤❡ ✈✐❝✐♥✐t② ♦❢ ❛ ❢❛st✲♦s❝✐❧❧❛t✐♥❣ t✉♥✐♥❣ ❢♦r❦✳ ❚❤❡ ♠❛✐♥ ♦✉t❝♦♠❡ ✐s t❤❡ ♦❜s❡r✈❛t✐♦♥ t❤❛t t❤❡s❡ ✢♦✇s ❛r❡ s✐♠✐❧❛r ✐♥ ❍❡ ■ ❛♥❞ ✐♥ ❍❡ ■■ ❛t ❧❛r❣❡ ❧❡♥❣t❤✲s❝❛❧❡s✱ ✇❤❡r❡❛s ❛t s♠❛❧❧ s❝❛❧❡s✱ t❤❡② ❡①❤✐❜✐t t♦t❛❧❧② ❞✐✛❡r❡♥t st❛t✐st✐❝❛❧ ♣r♦♣❡rt✐❡s✳ ▼♦r❡♦✈❡r✱ ✐♥ ❍❡ ■■✱ t❤❡s❡ s♠❛❧❧ s❝❛❧❡ st❛✲ t✐st✐❝❛❧ ♣r♦♣❡rt✐❡s ❛r❡ ✉♥✐✈❡rs❛❧ ✐♥ t❤❛t t❤❡② ❞♦ ♥♦t ❞❡♣❡♥❞ ♦♥ t❤❡ t②♣❡ ♦❢ t❤❡ ✐♠♣♦s❡❞ ♠❡❛♥ ✢♦✇ ♦❢ t❤❡ s✉♣❡r✢✉✐❞ ❛♥❞ ♥♦r♠❛❧...
|
|
|
Simulace a protiřetězce pro efektivní práci s konečnými automaty
Holík, Lukáš ; Černá, Ivana (referee) ; Jančar, Petr (referee) ; Vojnar, Tomáš (advisor)
Cílem této práce je vývoj technik umožňujících praktické využití nedeterministických konečných automatů, zejména nedeterministických stromových automatů. Jde zvláště o techniky pro redukci velikosti a testování jazykové inkluze, jež hrají zásadní roli v mnoha oblastech aplikace konečných automatů. V oblasti redukce velikosti vycházíme z dobře známých metod pro slovní automaty které jsou založeny na relacích simulace. Navrhli jsme efektivní algoritmy pro výpočet stromových variant simulačních relací a identifikovali jsme nový typ relace založený na kombinaci takzvaných horních a dolních simulací nad stromovými automaty. Tyto kombinované relace jsou zvláště vhodné pro redukci velikosti automatů slučováním stavů. Navržený princip kombinace relací simulace je relevantní i pro slovní automaty. Náš přínos v oblasti testování jazykové inkluze je dvojí. Nejprve jsme zobecnili na stromové automaty takzvané protiřetězcové algoritmy, které byly původně navrženy pro slovními automaty. Dále se nám podařilo použitím simulačních relací výrazně zefektivnit protiřetězcové algoritmy pro testování jazykové inkluze jak pro slovní, tak pro stromové automaty. Relevanci našich technik pro praxi jsme demonstrovali jejich nasazením v rámci regulárního stromového model checkingu, což je verifikační metoda založená na stromových automatech. Použití našich algoritmů zde vedlo k výraznému zrychlení a zvětšení škálovatelnosti celé metody. Základní myšlenky našich algoritmů pro redukci velikosti automatů a testování jazykové inkluze jsou aplikovatelné i na jiné typy automatů. Příkladem jsou naše redukční techniky pro alternující Büchiho automaty prezentované v poslední části práce.
|
|
|
Universality and relativity of human rights from the perspective of Islam - case study of Saudi Arabia
Tošovská, Lucie ; Zemanová, Štěpánka (advisor) ; Novotná, Yvona (referee)
In my diploma thesis I focused on human rights in Islam from the universal and the culture comparative point of view. A goal of my work was to find out, whether it is possible to justify the human rights abuses under the terms of concept of cultural relativism in the Islamic civilisation. The thesis should answer a question if it is possible to apply the principles of cultural relativism in case of human rights abuses in Saudi Arabia. This was achieved by analyzing the most important international and regional tools for human rights protection. The thesis is divided into three chapters, which are dedicating to this issue.
|
|
|
The Ethical Suitability and Rightness of the Project of Remole Adoption.
DUBA, Vladimír
T h e project deals with adopting children from a distance in India and the assessment of the righteousness of the process from an ethical perspective. The first part introduces current India from a political, cultural, and religious perspective. The second part focuses on the introduction of the adoption from a distance process and evaluates the suitability and purposefulness of the individual parts of the project. The third part deals with the terms of righteousness and suitability of such adoption from a catholic perspective, where we also find the justification of the ethical part of the process. Such justification is later described in the description of Caritas in the threefold service to the church. following, you will find the incorporation of the human being into the social teachings of the church and the situational ethics. The project later focuses on the terms of solidarity, subsidiarity, and the universal relationship between men and charity. The last part is a practical excursion into the life of a community center in the Indian town of Moobidri, where the author visited himself.
|
|
|
Human rights in Islam: Comparation of the status of women in Turkey and Saudi Arabia
Poustková, Karolína ; Lehmannová, Zuzana (advisor) ; Šabacká, Yvona (referee)
The thesis studies the human rights in Islam and evaluates them in concrete comparison of Muslim women's position in two different Muslim countries. It approaches two main human rights concepts: universalism and cultural relativism and describes the system and structure of Islamic law which determine all Muslims and Muslim society and therefore human rights perception itself. The diploma work follows two main goals:1) analysis of human rights from Islamic perspective, namely by its confrontation with prevalent universal model of human rights and 2) comparison of the status of Muslim woman in Turkey and Saudi Arabia. The thesis is logically divided into four consequential parts. First two chapters introduce to theoretical issues of human rights and Islamic religion, the two other pivotal parts are concentrated on the above mentioned set goals. The objectivity of the thesis should be ensured by using various foreign-language sources of information from which studies and reports of international organizations such as United Nations, Human Rights Watch or Amnesty International form a considerable part.
|
|
| |
guest ::
